Nuprl Definition : token2 def 11,40

token{$x:ut2} is Primitive 
latex


origin